logical formula造句
例句與造句
- Wstk creates all name attributes according to a logical formula ; in the example , i used names of my own convenience
依照邏輯規(guī)則創(chuàng)建了所有名稱(chēng)屬性；在本示例中，我使用了自己視為方便的名稱(chēng)。 - However , existing ontology languages are either unsuitable for web with markup languages , or short of of generic support to representation of knowledge , logical formula , axioms and rules
在現(xiàn)有的ontology語(yǔ)言中，有的不是面向web這種標(biāo)記語(yǔ)言環(huán)境的，有的缺乏知識(shí)、邏輯公式、公理以及規(guī)則表示的通性支持。 - This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx
本文對(duì)web語(yǔ)義化過(guò)程中部分關(guān)鍵問(wèn)題和基于語(yǔ)義化web的kms進(jìn)行了研究，主要的創(chuàng)新性工作包括：定義了邏輯公式及關(guān)系公理描述原語(yǔ)的ontology語(yǔ)義： web環(huán)境中用標(biāo)記語(yǔ)言描述對(duì)象和資源，為了在語(yǔ)義化web上表示知識(shí)、邏輯公式、關(guān)系公理和規(guī)則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語(yǔ)以及描述屬性之間關(guān)系的關(guān)系原語(yǔ)。 - It's difficult to find logical formula in a sentence. 用logical formula造句挺難的